FCT Drive

Login
Disk Usage98.59 GB used of 1 undefined
Used: 98.59 GB
925.41 GB available
NameSizeModifiedActions
Ana Con 1.prf
11.35 KB2025-08-14
Axioms 1.prf
7.4 KB2025-08-14
Conditional 1.prf
1.91 KB2025-08-14
Conditional 2.prf
5.53 KB2025-08-14
Conditional 3.prf
1.91 KB2025-08-14
Conjunction 1.prf
3.97 KB2025-08-14
Conjunction 2.prf
3.61 KB2025-08-14
Conjunction 3.prf
2.99 KB2025-08-14
Conjunction 4.prf
2.94 KB2025-08-14
Deduction Thm 1.prf
9.08 KB2025-08-14
Disjunction 1.prf
1.94 KB2025-08-14
Disjunction 2.prf
5.73 KB2025-08-14
Elimination Exercise 2.prf
4.43 KB2025-08-14
Exercise 10.34.1.prf
2.61 KB2025-08-14
Exercise 10.34.2.prf
2.61 KB2025-08-14
Exercise 13.11.prf
2.23 KB2025-08-14
Exercise 13.12.prf
2.23 KB2025-08-14
Exercise 13.13.prf
2.55 KB2025-08-14
Exercise 13.14.prf
2.23 KB2025-08-14
Exercise 13.15.prf
2.23 KB2025-08-14
Exercise 13.16.prf
2.26 KB2025-08-14
Exercise 13.17.prf
1.93 KB2025-08-14
Exercise 13.18.prf
1.93 KB2025-08-14
Exercise 13.2.prf
2.23 KB2025-08-14
Exercise 13.20.prf
2.6 KB2025-08-14
Exercise 13.21.prf
2.62 KB2025-08-14
Exercise 13.22.prf
2.59 KB2025-08-14
Exercise 13.23.prf
2.55 KB2025-08-14
Exercise 13.24.prf
1.94 KB2025-08-14
Exercise 13.25.prf
1.94 KB2025-08-14
Exercise 13.26.prf
2.28 KB2025-08-14
Exercise 13.27.prf
2.28 KB2025-08-14
Exercise 13.28.prf
1.92 KB2025-08-14
Exercise 13.29.prf
2.24 KB2025-08-14
Exercise 13.3.prf
2.23 KB2025-08-14
Exercise 13.30.prf
2.26 KB2025-08-14
Exercise 13.31.prf
2.25 KB2025-08-14
Exercise 13.32.prf
1.95 KB2025-08-14
Exercise 13.33.prf
2.28 KB2025-08-14
Exercise 13.34.prf
2.25 KB2025-08-14
Exercise 13.35.prf
2.6 KB2025-08-14
Exercise 13.36.prf
2.26 KB2025-08-14
Exercise 13.37.prf
3.25 KB2025-08-14
Exercise 13.38.prf
2.61 KB2025-08-14
Exercise 13.39.prf
2.96 KB2025-08-14
Exercise 13.4.prf
1.93 KB2025-08-14
Exercise 13.40.prf
1.93 KB2025-08-14
Exercise 13.41.prf
1.94 KB2025-08-14
Exercise 13.42.prf
1.94 KB2025-08-14
Exercise 13.43.prf
1.91 KB2025-08-14
Exercise 13.44.prf
1.91 KB2025-08-14
Exercise 13.45.prf
1.91 KB2025-08-14
Exercise 13.46.prf
1.91 KB2025-08-14
Exercise 13.47.prf
1.91 KB2025-08-14
Exercise 13.48.prf
1.91 KB2025-08-14
Exercise 13.49.prf
2.25 KB2025-08-14
Exercise 13.5.prf
2.3 KB2025-08-14
Exercise 13.50.prf
1.95 KB2025-08-14
Exercise 13.51.prf
1.91 KB2025-08-14
Exercise 13.52.prf
1.92 KB2025-08-14
Exercise 13.53.prf
1.93 KB2025-08-14
Exercise 13.6.prf
2.6 KB2025-08-14
Exercise 13.7.prf
1.98 KB2025-08-14
Exercise 13.8.prf
1.98 KB2025-08-14
Exercise 13.9.prf
2.31 KB2025-08-14
Exercise 14.10.prf
1.95 KB2025-08-14
Exercise 14.11.prf
1.95 KB2025-08-14
Exercise 14.12.prf
2.35 KB2025-08-14
Exercise 14.13.prf
2.06 KB2025-08-14
Exercise 15.13.prf
2.24 KB2025-08-14
Exercise 15.14.prf
1.94 KB2025-08-14
Exercise 15.15.prf
735 Bytes2025-08-14
Exercise 15.16.prf
1.96 KB2025-08-14
Exercise 15.2.prf
2.24 KB2025-08-14
Exercise 15.21.prf
2.29 KB2025-08-14
Exercise 15.23.prf
2.62 KB2025-08-14
Exercise 15.33.prf
4.01 KB2025-08-14
Exercise 15.34.prf
1.95 KB2025-08-14
Exercise 15.35.prf
1.97 KB2025-08-14
Exercise 15.36.prf
1.98 KB2025-08-14
Exercise 15.37.prf
1.95 KB2025-08-14
Exercise 15.38.prf
1.97 KB2025-08-14
Exercise 15.39.prf
1.98 KB2025-08-14
Exercise 15.53.prf
2.02 KB2025-08-14
Exercise 15.66.prf
1.92 KB2025-08-14
Exercise 16.29.prf
2.24 KB2025-08-14
Exercise 16.30.prf
2.87 KB2025-08-14
Exercise 16.31.prf
2.55 KB2025-08-14
Exercise 16.32.prf
2.88 KB2025-08-14
Exercise 16.33.prf
2.25 KB2025-08-14
Exercise 16.34.prf
2.26 KB2025-08-14
Exercise 16.35.prf
2.58 KB2025-08-14
Exercise 16.36.prf
2.24 KB2025-08-14
Exercise 16.37.prf
2.88 KB2025-08-14
Exercise 16.38.prf
2.88 KB2025-08-14
Exercise 16.39.prf
2.56 KB2025-08-14
Exercise 16.40.prf
2.56 KB2025-08-14
Exercise 16.41.prf
1.94 KB2025-08-14
Exercise 16.42.prf
2.27 KB2025-08-14
Exercise 16.43.prf
2.57 KB2025-08-14
Exercise 16.44.prf
2.58 KB2025-08-14
Exercise 16.45.prf
3.18 KB2025-08-14
Exercise 16.46.prf
2.58 KB2025-08-14
Exercise 16.47.prf
2.58 KB2025-08-14
Exercise 16.50.prf
1.92 KB2025-08-14
Exercise 16.51.prf
2.96 KB2025-08-14
Exercise 16.53.prf
3.57 KB2025-08-14
Exercise 17.32.prf
3.49 KB2025-08-14
Exercise 17.4A.prf
5.32 KB2025-08-14
Exercise 17.4B.prf
5.32 KB2025-08-14
Exercise 19.11.prf
2.2 KB2025-08-14
Exercise 19.12.prf
1.91 KB2025-08-14
Exercise 19.13.prf
1.91 KB2025-08-14
Exercise 19.16.prf
6.05 KB2025-08-14
Exercise 19.17.prf
4.43 KB2025-08-14
Exercise 19.18.prf
2.23 KB2025-08-14
Exercise 2.16.prf
2.2 KB2025-08-14
Exercise 2.17.prf
2.51 KB2025-08-14
Exercise 2.18.prf
2.52 KB2025-08-14
Exercise 2.19.prf
2.22 KB2025-08-14
Exercise 2.20.prf
2.52 KB2025-08-14
Exercise 2.24.prf
2.53 KB2025-08-14
Exercise 2.25.prf
2.53 KB2025-08-14
Exercise 2.26.prf
2.83 KB2025-08-14
Exercise 2.27.prf
2.83 KB2025-08-14
Exercise 4.27.prf
2.55 KB2025-08-14
Exercise 4.28.prf
2.25 KB2025-08-14
Exercise 4.29.prf
3.17 KB2025-08-14
Exercise 4.30.prf
2.57 KB2025-08-14
Exercise 6.10.prf
2.23 KB2025-08-14
Exercise 6.11.prf
2.53 KB2025-08-14
Exercise 6.12.prf
2.53 KB2025-08-14
Exercise 6.13.prf
2.53 KB2025-08-14
Exercise 6.14.prf
2.87 KB2025-08-14
Exercise 6.15.prf
2.23 KB2025-08-14
Exercise 6.16.prf
2.23 KB2025-08-14
Exercise 6.18.prf
1.9 KB2025-08-14
Exercise 6.19.prf
2.2 KB2025-08-14
Exercise 6.2.prf
6.12 KB2025-08-14
Exercise 6.20.prf
2.21 KB2025-08-14
Exercise 6.22.prf
2.22 KB2025-08-14
Exercise 6.24.prf
1.91 KB2025-08-14
Exercise 6.25.prf
1.91 KB2025-08-14
Exercise 6.26.prf
2.21 KB2025-08-14
Exercise 6.27.prf
2.23 KB2025-08-14
Exercise 6.28.prf
2.22 KB2025-08-14
Exercise 6.29.prf
2.25 KB2025-08-14
Exercise 6.3.prf
1.93 KB2025-08-14
Exercise 6.30.prf
2.23 KB2025-08-14
Exercise 6.31.prf
2.55 KB2025-08-14
Exercise 6.32.prf
2.55 KB2025-08-14
Exercise 6.33.prf
5.19 KB2025-08-14
Exercise 6.34.prf
1.92 KB2025-08-14
Exercise 6.35.prf
1.92 KB2025-08-14
Exercise 6.36.prf
1.92 KB2025-08-14
Exercise 6.37.prf
1.92 KB2025-08-14
Exercise 6.38.prf
1.94 KB2025-08-14
Exercise 6.39.prf
1.94 KB2025-08-14
Exercise 6.4.prf
1.91 KB2025-08-14
Exercise 6.40.prf
1.9 KB2025-08-14
Exercise 6.41.prf
1.91 KB2025-08-14
Exercise 6.42.prf
1.91 KB2025-08-14
Exercise 6.5.prf
1.92 KB2025-08-14
Exercise 6.6.prf
1.92 KB2025-08-14
Exercise 6.8.prf
6.07 KB2025-08-14
Exercise 6.9.prf
2.22 KB2025-08-14
Exercise 7.26.prf
2.19 KB2025-08-14
Exercise 8.18.prf
2.19 KB2025-08-14
Exercise 8.19.prf
2.19 KB2025-08-14
Exercise 8.20.prf
1.91 KB2025-08-14
Exercise 8.21.prf
1.91 KB2025-08-14
Exercise 8.22.prf
1.91 KB2025-08-14
Exercise 8.23.prf
1.91 KB2025-08-14
Exercise 8.24.prf
2.5 KB2025-08-14
Exercise 8.25.prf
2.2 KB2025-08-14
Exercise 8.26.prf
1.9 KB2025-08-14
Exercise 8.27.prf
1.92 KB2025-08-14
Exercise 8.28.prf
1.9 KB2025-08-14
Exercise 8.29.prf
1.91 KB2025-08-14
Exercise 8.30.prf
1.91 KB2025-08-14
Exercise 8.31.prf
2.6 KB2025-08-14
Exercise 8.32.prf
2.59 KB2025-08-14
Exercise 8.33.prf
2.33 KB2025-08-14
Exercise 8.34.prf
2.9 KB2025-08-14
Exercise 8.35.prf
2.88 KB2025-08-14
Exercise 8.36.prf
2.63 KB2025-08-14
Exercise 8.37.prf
2.88 KB2025-08-14
Exercise 8.38.1.prf
1.9 KB2025-08-14
Exercise 8.38.2.prf
1.9 KB2025-08-14
Exercise 8.44.prf
2.23 KB2025-08-14
Exercise 8.45.prf
1.92 KB2025-08-14
Exercise 8.46.prf
2.57 KB2025-08-14
Exercise 8.47.prf
2.57 KB2025-08-14
Exercise 8.48.prf
2.57 KB2025-08-14
Exercise 8.49.prf
2.63 KB2025-08-14
Exercise 8.50.prf
1.95 KB2025-08-14
Exercise 8.51.prf
1.93 KB2025-08-14
Exercise 8.52.prf
1.93 KB2025-08-14
Exercise 8.53.prf
2.6 KB2025-08-14
Existential 1.prf
7.51 KB2025-08-14
FO Con 1.prf
9.85 KB2025-08-14
Goggles Example.prf
1.44 KB2025-08-14
Identity 1.prf
2.22 KB2025-08-14
Intersection 1.prf
8.61 KB2025-08-14
Lemma 1.prf
6.05 KB2025-08-14
Lemma 16.52.prf
12.76 KB2025-08-14
Lemma 2.prf
6.04 KB2025-08-14
Lemma 3.prf
5.9 KB2025-08-14
Lemma Example 1.prf
2.59 KB2025-08-14
Lemma Example 2.prf
2.56 KB2025-08-14
Lemma Example 3.prf
2.62 KB2025-08-14
Negation 1.prf
1.89 KB2025-08-14
Negation 2.prf
7.22 KB2025-08-14
Negation 3.prf
2.19 KB2025-08-14
Negation 4.prf
6.96 KB2025-08-14
Proof Deduction Thm 1.prf
1.98 KB2025-08-14
Quantifier Strategy 1.prf
2.55 KB2025-08-14
Strategy 1.prf
1.91 KB2025-08-14
Taut Con 1.prf
3.97 KB2025-08-14
Taut Con 2.prf
8.3 KB2025-08-14
Universal 1.prf
2.23 KB2025-08-14
Universal 2.prf
5.25 KB2025-08-14